Перевод: с русского на английский

с английского на русский

результирующий вывод

См. также в других словарях:

  • ЭЛИМИНАЦИОННАЯ ТЕОРЕМА —     ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом …   Философская энциклопедия

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ —     ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует …   Философская энциклопедия

  • МАГНЕТИЗМ МИКРОЧАСТИЦ — магн. свойства молекул, атомов, атомных ядер и субъядерных частиц (т. н. элементарных частиц). Магн. свойства элементарных частиц обусловлены наличием у них спина, а более сложных систем (ядер, атомов, молекул) особенностями их строения и вкладом …   Физическая энциклопедия

  • Windows PowerShell — Windows PowerShell …   Википедия

  • C++ — У этого термина существуют и другие значения, см. C. См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в …   Википедия

  • GCC Inline Assembly — GCC Inline Assembly  Встроенный ассемблер компилятора GCC, представляющий собой язык макроописания интерфейса компилируемого высокоуровнего кода с ассемблерной вставкой. Содержание 1 Особенности 2 Предварительные сведения …   Википедия

  • Формула поворота Родрига — формула, связывающая два вектора с общим началом, один из которых получен поворотом другого на известный угол вокруг оси, проходящей через их общее начало: где исходный вектор, результирующий вектор, единичный вектор оси поворо …   Википедия

  • С++ — См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в: 1985 г. Автор(ы): Бьёрн Страуструп …   Википедия

  • Ускорители заряженных частиц —         устройства для получения заряженных частиц (электронов, протонов, атомных ядер, ионов) больших энергий. Ускорение производится с помощью электрического поля, способного изменять энергию частиц, обладающих электрическим зарядом. Магнитное… …   Большая советская энциклопедия

  • ХИРОПТИЧЕСКИЕ МЕТОДЫ — объединяют родственные оптич. методы исследования оптически активных (хиральных) соед.: поляриметрию (ПМ), дисперсию оптич. вращения (ДОВ) и круговой дихроизм (КД). X. м. основаны на взаимод. поляризованного света с хиральными структурами, к рые… …   Химическая энциклопедия

  • Вавилов Сергей Иванович — (1891 1951), физик, основатель отечественной научной школы физической оптики, академик (1932) и президент (с 1945) АН СССР. Брат Н. И. Вавилова. Фундаментальные труды по физической оптике, главным образом по люминесценции и её практическому… …   Энциклопедический словарь

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»